[HVM] Remove unneeded vcpu_kick() from HPET device model.
authorkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Wed, 10 Jan 2007 14:14:30 +0000 (14:14 +0000)
committerkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Wed, 10 Jan 2007 14:14:30 +0000 (14:14 +0000)
commitc5a9d11fa86650e847d20b9649114b01a5ef3e71
treecb8634dfc2c3673668a37fc7ce18592617f1ec47
parent5fc32d22f2975d14e23fdbdab6db2e6297a47869
[HVM] Remove unneeded vcpu_kick() from HPET device model.
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/hvm/hpet.c